type Ikun = "sing" | "dance" | "rap";

type MyExtract<T, E extends T> = T extends E ? T : never;

type IkunOptional = Extract<Ikun, "sing">;
type IkunOptional1 = MyExtract<Ikun, "sing">;

export {};
